Specifying Operational Pro les for Modules

نویسنده

  • Denise M. Woit
چکیده

We describe a technique for specifying operational prooles for modules. The technique is more general than those of the current literature and allows more accurate speciication of module usage. We also outline an algorithm for automatically generating random test cases from any such operational proole speciication for a module, such that the test cases correspond to a random sampling of the module's input in actual operation. Operational-based statistical estimations , such as operational reliability, may be more meaningful when our speciication method and generation algorithm are used, because our method permits more precise speciications than do other methods in the current literature.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some Properties of $ ast $-frames in Hilbert Modules Over Pro-C*-algebras

In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $. New frames in Hilbert modules over pro-C*-algebras are called standard $ ast $-frames of multipliers. Meanwhile, we study several useful properties of standard $ ast $-frames in Hilbert modu...

متن کامل

G-frames in Hilbert Modules Over Pro-C*-‎algebras

G-frames are natural generalizations of frames which provide more choices on analyzing functions from frame expansion coefficients. First, they were defined in Hilbert spaces and then generalized on C*-Hilbert modules. In this paper, we first generalize the concept of g-frames to Hilbert modules over pro-C*-algebras. Then, we introduce the g-frame operators in such spaces and show that they sha...

متن کامل

*-frames in Hilbert modules over pro-C*-algebras

‎In this paper‎, ‎by using the sequence of multipliers‎, ‎we introduce frames with algebraic bounds in Hilbert pro-$ C^* $-modules‎. ‎We investigate the relations between frames and $ ast $-frames‎. ‎Some properties of $ ast $-frames in Hilbert pro-$ C^* $-modules are studied‎. ‎Also‎, ‎we show that there exist two differences between $ ast $-frames in Hilbert pro-$ C^* $-modules and Hilbert $ ...

متن کامل

Hilbert modules over pro-C*-algebras

In this paper, we generalize some results from Hilbert C*-modules to pro-C*-algebra case. We also give a new proof of the known result that l2(A) is aHilbert module over a pro-C*-algebra A.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993